Adrian Rutle: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) - Munich, Germany (2019.9.15-2019.9.20)] 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) - A Domain-Specific Language for the Development of Heterogeneous Multi-robot Systems

Losvik, Daneil Steen, Rutle, Adrian

Year:

2019

Language:

english

File:

PDF, 1.71 MB

english, 2019

2

A GraphQL approach to Healthcare Information Exchange with HL7 FHIR

Mukhiya, Suresh Kumar, Rabbi, Fazle, I Pun, Violet Ka, Rutle, Adrian, Lamo, Yngve

Journal:

Procedia Computer Science

Year:

2019

File:

PDF, 718 KB

2019

3

[IEEE 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) - Munich, Germany (2019.9.15-2019.9.20)] 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) - A Multilevel Modelling Approach for Tourism Flows Detection

Rossi, Maria Teresa, De Sanctis, Martina, Iovino, Ludovico, Rutle, Adrian

Year:

2019

Language:

english

File:

PDF, 1.12 MB

english, 2019

4

[IEEE 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) - Munich, Germany (2019.9.15-2019.9.20)] 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) - Preface to the 6th International Workshop on Multi-Level Modelling (MULTI 2019)

Alemeida, Joao-Paolo, Rutle, Adrian, Wimmer, Manuel

Year:

2019

Language:

english

File:

PDF, 3.39 MB

english, 2019

5

A Model Slicing Method for Workflow Verification

Rabbi, Fazle, Wang, Hao, MacCaull, Wendy, Rutle, Adrian

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 474 KB

english, 2013

6

Multilevel coupled model transformations for precise and reusable definition of model behaviour

Macías, Fernando, Wolter, Uwe, Rutle, Adrian, Durán, Francisco, Rodriguez-Echeverria, Roberto

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2019

Language:

english

File:

PDF, 1.45 MB

english, 2019

7

A formalisation of the copy-modify-merge approach to version control in MDE

Alessandro Rossini, Adrian Rutle, Yngve Lamo, Uwe Wolter

Journal:

The Journal of Logic and Algebraic Programming

Year:

2010

Language:

english

File:

PDF, 1012 KB

english, 2010

8

A formal approach to the specification and transformation of constraints in MDE

Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter

Journal:

The Journal of Logic and Algebraic Programming

Year:

2012

Language:

english

File:

PDF, 2.63 MB

english, 2012

9

A User-friendly Tool for Model Checking Healthcare Workflows

Rutle, Adrian, Rabbi, Fazle, MacCaull, Wendy, Lamo, Yngve

Journal:

Procedia Computer Science

Year:

2013

Language:

english

File:

PDF, 501 KB

english, 2013

10

[IEEE 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE) - Beijing, China (2012.07.4-2012.07.6)] 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering - A Formal Diagrammatic Approach to Timed Workflow Modelling

Wang, Hao, Rutle, Adrian, MacCaull, Wendy

Year:

2012

Language:

english

File:

PDF, 408 KB

english, 2012

11

A formalisation of deep metamodelling

Rossini, Alessandro, de Lara, Juan, Guerra, Esther, Rutle, Adrian, Wolter, Uwe

Journal:

Formal Aspects of Computing

Year:

2014

Language:

english

File:

PDF, 1.82 MB

english, 2014

12

Model Checking Healthcare Workflows Using Alloy

Wang, Xiaoliang, Rutle, Adrian

Journal:

Procedia Computer Science

Year:

2014

Language:

english

File:

PDF, 298 KB

english, 2014

13

[ACM Press the Fourth Workshop - Kgs. Lyngby, Denmark (2012.07.03-2012.07.03)] Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications - BM-FA '12 - A metamodelling approach to behavioural modelling

Rutle, Adrian, MacCaull, Wendy, Wang, Hao, Lamo, Yngve

Year:

2012

Language:

english

File:

PDF, 307 KB

english, 2012

14

[ACM Press the 15th Symposium - Madrid, Spain (2013.09.16-2013.09.18)] Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming - PPDP '13 - A declarative and bidirectional model transformation approach based on graph co-spans

Lamo, Yngve, Mantz, Florian, Rutle, Adrian, de Lara, Juan

Year:

2013

Language:

english

File:

PDF, 2.03 MB

english, 2013

15

Model-driven Software Engineering in Practice: A Content Analysis Software for Health Reform Agreements

Rutle, Adrian, Simonsen, Kent Inge Fagerland, Schaathun, Hans Georg, Kirchhoff, Ralf

Journal:

Procedia Computer Science

Year:

2015

Language:

english

File:

PDF, 941 KB

english, 2015

16

[ACM Press Conference Companion of the 2nd International Conference - Nice, France (2018.04.09-2018.04.12)] Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming - Programming'18 Companion - Multimodel correspondence through inter-model constraints

Stünkel, Patrick, König, Harald, Lamo, Yngve, Rutle, Adrian

Year:

2018

Language:

english

File:

PDF, 1.08 MB

english, 2018

17

[IEEE 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) - Munich, Germany (2019.9.15-2019.9.20)] 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) - The MULTI Process Challenge

Almeida, Joao Paulo A., Rutle, Adrian, Wimmer, Manuel, Kuhne, Thomas

Year:

2019

File:

PDF, 128 KB

2019

18

[IEEE 2019 45th Euromicro Conference on Software Engineering and Advanced Applications (SEAA) - Kallithea-Chalkidiki, Greece (2019.8.28-2019.8.30)] 2019 45th Euromicro Conference on Software Engineering and Advanced Applications (SEAA) - Query-Based Impact Analysis of Metamodel Evolutions

Iovino, Ludovico, Rutle, Adrian, Pierantonio, Alfonso, Di Rocco, Juri

Year:

2019

File:

PDF, 924 KB

2019

19

A query-retyping approach to model transformation co-evolution

Rutle, Adrian, Iovino, Ludovico, KÃ¶nig, Harald, Diskin, Zinovy

Journal:

Software & Systems Modeling

Year:

2020

File:

PDF, 4.24 MB

2020